<html>
<head><meta charset="utf-8"><title>c-cube · new members · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122652-new-members/index.html">new members</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122652-new-members/topic/c-cube.html">c-cube</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="199379781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122652-new%20members/topic/c-cube/near/199379781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> c-cube <a href="https://rust-lang.github.io/zulip_archive/stream/122652-new-members/topic/c-cube.html#199379781">(Jun 01 2020 at 15:04)</a>:</h4>
<p>Hi, I'm <a href="http://github.com/c-cube/">c-cube</a> (companion_cube on freenode). I use rust mostly on my free time, OCaml at work, and am specialized in formal logic and automated reasoning. I'm aiming at using rust for SAT solving (already have been doing that for a while) and higher symbolic reasoning with a lot of DAGs and sharing.</p>



<a name="199381723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122652-new%20members/topic/c-cube/near/199381723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/122652-new-members/topic/c-cube.html#199381723">(Jun 01 2020 at 15:18)</a>:</h4>
<p>Hello and welcome!<br>
You might be interested by <a href="https://github.com/rust-lang/chalk">https://github.com/rust-lang/chalk</a> then :)<br>
There is also a stream called <a class="stream" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits">#wg-traits</a></p>



<a name="199403080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122652-new%20members/topic/c-cube/near/199403080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> c-cube <a href="https://rust-lang.github.io/zulip_archive/stream/122652-new-members/topic/c-cube.html#199403080">(Jun 01 2020 at 18:09)</a>:</h4>
<p>I've followed that from afar, thank you! :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>